Which roles are played by subcortical pathways in models of cortical streams for visual processing? Through their thalamic relays, magnocellular (M) and parvocellular (P) projecting ganglion cells send complementary signals to V1, where their outputs are combined in several different ways. The synergic role of M and P cells in vision can be understood by estimating cell response entropy in all domains of interest.

We address current needs for neogenomics-based theoretical and computational approaches for several neuroscience research fields, from investigations of heritability properties, passing by investigations of spatiotemporal dynamics in the neuromodulatory microcircuits involved in perceptual learning and attentional shifts, to the application of genetic algorithms to create robots exhibiting ongoing emergence.

In 2015 Dag Prawitz proposed an Ecumenical system where classical and intuitionistic logic could coexist in peace. The classical logician and the intuitionistic logician would share the universal quantifier, conjunction, negation and the constant for the absurd, but they would each have their own existential quantifier, disjunction and implication, with different meanings. Prawitz’ main idea is that these different meanings are given by a semantical framework that can be accepted by both parties. The aim of the present paper is [1] (...) to prove the normalization theorem for the propositional fragment NEp of Prawitz’ ecumenical system, and [2] to show that NEp is sound and complete with respect to a Kripke-style semantics for the language of NEp. (shrink)

S1NTESE - O texto procura identificar, a partir da psicanálise de Lacan, de que forma, em função do indevido privilégio egóico dado pelo sujeito falante ao Registro do Imaginário, a percepção e compreensão da insistência do significante permanece restrita a este registro, impossibilitando- lhe uma compreensão mais ampla, correspondente à inscrição do significante no Registro do Simbólico, co-extensivo ao ethos do sujeito humano. Isto implicaria, em certo sentido, na forclusão da culpabilidade, ou, pelo menos, num certo conforto imaginário da ek-sistência (...) do sujeito. (shrink)

The relation between ex falso and disjunctive syllogism, or even the justification of ex falso based on disjunctive syllogism, is an old topic in the history of logic. This old topic reappears in contemporary logic since the introduction of minimal logic by Johansson. The disjunctive syllogism seems to be part of our general non-problematic inferential practices and superficially it does not seem to be related to or to depend on our acceptance of the frequently disputable ex falso rule. We know (...) that the acceptance of the ex falso is a sufficient condition for the acceptance of the disjunctive syllogism, but the interesting question is: is the ex falso a necessary condition for the acceptance of the disjunctive syllogism? The aim of the present paper is to discuss some possible ways to define systems that combines the preservation of the disjunctive syllogism with the rejection of the ex falso. (shrink)

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science.

O presente artigo tem por finalidade apresentar como a matéria mitológica do Édipo e da Esfinge teria regulado a consideração das ciências naturais e políticas de filósofos modernos como Bacon, Hobbes e Descartes. A partir de uma consideração da ciência moderna no registro de uma racionalização do mito do Édipo e da Esfinge na filosofia de Bacon, buscaremos mostrar como o pensamento científico moderno poderia ser entendido como um tipo de conhecimento do homem sobre si mesmo e sobre sua própria (...) cultura ancestral. Nesse registro geral de uma modernidade científica entendida como um tipo de racionalização dos mitos, o presente artigo busca mostrar por último de que modo as críticas anti-edipianas de Deleuze e Guattari à modernidade teriam influenciado uma metafísica canibal inaugurada por Viveiros de Castro como crítica ao narcisismo individualista do colonialismo epistemológico e político legado à história da filosofia e à nossa própria cultura científica. Palavras chave: Modernidade, Anti-Édipo, Antropologia filosófica e Metafísicas canibal. Antiedipian criticisms of anthropocentric modernity: a cannibalistic metaphysics devouring machine men. Abstract: This paper seeks to present how the mythological matter of the Oedipus and the Sphinx would have regulated the consideration of the natural and political sciences of modern philosophers such as Bacon, Hobbes and Descartes. Starting from a consideration of modern science in the record of a rationalization of the myth of Oedipus and the Sphinx in Bacon's philosophy, the work seeks to show how modern scientific thought could be understood as a type of knowledge of man about himself and about his own ancestral culture. In the record of a scientific modernity understood as a type of rationalization of myths, this paper seeks to show at last how Deleuze and Guattari's anti-Oedipal criticisms of modernity seem to have influenced a cannibalistic metaphysics inaugurated by Viveiros de Castro as a critique of narcissism individualist of epistemological and political colonialism bequeathed to the history of philosophy and to our own scientific culture. Keywords: Modernity, Anti-Oedipus, Philosophical Anthropology and Cannibal Metaphysics. Críticas antiedipianas a la modernidad antropocéntrica: una metafísica caníbal que devora a los hombres máquina. Resumen: Este artículo busca presentar cómo la materia mitológica de Edipo y la Esfinge habría regulado la consideración de las ciencias naturales y políticas de filósofos modernos como Bacon, Hobbes y Descartes. Partiendo de una consideración de la ciencia moderna en el registro de una racionalización del mito de Edipo y la Esfinge en la filosofía de Bacon, el trabajo busca mostrar cómo el pensamiento científico moderno podría entenderse como un tipo de conocimiento del hombre sobre sí mismo y sobre los suyos. cultura ancestral. En el registro de una modernidad científica entendida como una especie de racionalización de los mitos, este trabajo busca mostrar finalmente cómo las críticas antiedípicas de la modernidad de Deleuze y Guattari parecen haber influido en una metafísica caníbal inaugurada por Viveiros de Castro como crítica al narcisismo individualista. del colonialismo epistemológico y político legado a la historia de la filosofía y a nuestra propia cultura científica Palabras clave: Modernidad, Anti-Edipo, Antropología Filosófica y Metafísica Caníbal Data de registro: 30/03/2021 Data de aceite: 17/05/2022. (shrink)

It follows from Bell’s theorem and quantum mechanics that the detection of a particle of an entangled pair can (somehow) “force” the other distant particle of the pair into a well-defined state (which is equivalent to a reduction of the state vector): no property previously shared by the particles can explain the predicted quantum correlations. This result has been corroborated by experiment, although some loopholes still remain. However, it has not been experimentally proved—and it is far from obvious—that the absence (...) of detection, as in null-result (NR) experiments could have the very same effect. In this paper a way to try to bridge this gap is suggested. (shrink)

Este texto objetiva a comparaçãocótica entre o conjunto das obras de René Girarde Emmanuel Levinas no que diz respeito especialmenteaos temas "desejo" e "contemporaneidade",evidenciando as formas diversificadasporém de cena forma convergentes pelas quaisambos os autores penetram na massa da fatosque podem se organizar reflexivamente nasestruturas mais profícuas de compreensão darealidade no atual momento histórico.

Minga-Mutirão de Revistas de Teologia Latino-americanas Teologia da Libertação: de onde viemos, para onde vamos? (Liberation Theology: where do we come from? Where are we going to?).

Since Prawitz proposal of his ecumenical system, where classical and intuitionistic logics co-exist in peace, there has been a discussion about the relation between translations and the ecumenical perspective. While it is undeniable that there exists a relationship, it is also undeniable that its very nature is controversial. The aim of this paper is to show that there are interesting relations between the Gödel-Gentzen translation and the ecumenical perspective. We show that the ecumenical perspective cannot be reduced to the Gödel-Gentzen (...) translation, much less be identified with it. (shrink)

A filosofia, sendo um discurso antípoda ao discurso das ciências, no sentido de que não produz um conhecimento sobre particularidades, situa-se a priori no espaço interno de uma clivagem, de uma diferença e de uma dobra onde este discurso e este saber são produzidos e apresentados. Na cena contemporânea três pensadores, Lacan, Apel e Gadamer, tematizam a experiência do humano como ligada estritamente à linguagem enquanto elemento estruturador do humano, na medida em que este é situado no interior do espaço (...) de uma dobra e de uma clivagem. PALAVRAS-CHAVE – Apel. A priori. Gadamer. Lacan. Linguagem. Ser humano. ABSTRACT Philosophy as a speech opposite to the speech of sciences as long as it does not pursue a knwoledge on specialities, it is situated a priori at the internal space of a fold where this knowledge is produced and presented. At the contemporary scene there are three thinkers, Lacan, Apel and Gadamer which think human experience as deeply linked towards language as the structural frame of the human being, hence he is situated within the space of this fold. KEY WORDS – Apel. A priori. Gadamer. Human being. Lacan. Language. (shrink)

In 2015 Dag Prawitz proposed a natural deduction ecumenical system, where classical logic and intuitionistic logic are codified in the same system. In his ecumenical system, Prawitz recovers the harmony of rules, but the rules for the classical operators do not satisfy separability. In fact, the classical rules are not pure, in the sense that negation is used in the definition of the introduction and elimination rules for the classical operators. In this work we propose an ecumenical system adapting, to (...) the natural deduction framework, Girard’s mechanism of stoup. This allows for the definition of a pure harmonic natural deduction system for the propositional fragment of Prawitz’s ecumenical logic. We conclude by presenting an extension proposal to the first-order setting and a different approach to purity based on some ideas proposed by Julien Murzi. (shrink)

Diálogo intercultural é a relação ética capaz de dar conta do desafio posto pela globalização que acelerou o contato e a interferência entre as culturas. Para um diálogo autêntico, há pressupostos sine qua non: a desideologização do universalismo cultural, o desocultamento da pluralidade. Além disso, há necessidade de um aclaramento conceitual que ajude a fazer opções pelos conceitos operacionais que realmente possam ajudar a ter uma postura de diálogo. Entre estes conceitos, aqui se privilegia o conceito “sistêmico” e de cultura (...) como expressão de transcendência humana, de tal forma que, em sua transparência simbólica, a cultura permite que haja um "face a face” dos interlocutores desde suas respectivas culturas. (shrink)

This collection of papers, celebrating the contributions of Swedish logician Dag Prawitz to Proof Theory, has been assembled from those presented at the Natural Deduction conference organized in Rio de Janeiro to honour his seminal research. Dag Prawitz’s work forms the basis of intuitionistic type theory and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics in Logic, Linguistics and Theoretical Computer Science. The range of contributions includes material on the extension of natural deduction with higher-order (...) rules, as opposed to higher-order connectives, and a paper discussing the application of natural deduction rules to dealing with equality in predicate calculus. The volume continues with a key chapter summarizing work on the extension of the Curry-Howard isomorphism, via methods of category theory that have been successfully applied to linear logic, as well as many other contributions from highly regarded authorities. With an illustrious group of contributors addressing a wealth of topics and applications, this volume is a valuable addition to the libraries of academics in the multiple disciplines whose development has been given added scope by the methodologies supplied by natural deduction. The volume is representative of the rich and varied directions that Prawitz work has inspired in the area of natural deduction. (shrink)

De Auxiliis designa uma famosa controvérsia filosófico-teológica do final do século XVI e início do século XVII, que envolveu teólogos espanhóis dominicanos e jesuítas em torno do tema/problema do livre arbítrio humano sob a influxo da graça divina. Considerado filosoficamente, o problema central gira em torno à determinação semântica de enunciados condicionais contrafactuais, problema este já presente em todos os enunciados teóricos composicionais. A partir do contexto histórico e teológico da controvérsia, juntamente com o surgimento do Molinismo, apresentaremos, com alguns (...) aportes da Filosofia Estrutural-Sistemática proposta por Lorenz Puntel, o problema filosófico da determinação semântica de sentenças teóricas em geral e a nova forma de determiná-las semanticamente. Isso possibilitará a elaboração filosófica de uma nova Teoria do Ser, na qual a grande questão de “Deus” e seus atributos encontrará seu mais adequado lugar teórico no discurso filosófico sistemático. Palavras-chave: Tomismo. Molinismo. Filosofia Sistemático-Estrutural. Semântica Sentencial. Metafísica Primordial. (shrink)

Trata-se de mostrar as teses e argumentos de Holbach sobre a liberdade, a necessidade, bem como sobre seu "sistema do fatalismo". Objetiva-se sustentar a hipótese de que as teses de Holbach sobre a liberdade, a necessidade e o fatalismo não implicam a aceitação da imutabilidade ou cristalização do real.

Machado de Assis, no conto _A Sereníssima República_, aponta, por meio da alegoria, problemas de fundo do sistema político brasileiro. Uma espécie de cultura da fraude estaria presente nos comportamentos das aranhas, o que impossibilitaria a implantação reta e precisa da lei, bem como a instituição da paz e da _securitas_. Sérgio Buarque de Holanda, ao analisar, a partir de fontes primárias, o período em que se passa o conto, constata os mesmos problemas que Machado de Assis apontara. Os conceitos (...) políticos espinosanos são movimentados, ao final, para mostrar que em um _imperium_ no qual as leis são constantemente violadas, não se está distante do estado de natureza, com grande perigo de vida para os súditos-cidadãos. Seria este o caso da república do conto e do Brasil atual? (shrink)

O artigo pretende tratar de um tema presente nos Discursos sobre a primeira década de Tito Lívio, bem como em outros textos de Maquiavel: o dos homens bons plenos de virtù e seu papel na fundação do campo jurídico-político. A primeira questão a ser trabalhada é a do método em Maquiavel. Após, o conceito de virtù será analisado no que se refere a sua importância para a fundação e manutenção jurídico-política da cidade.

O tema de fundo do artigo é o dos regimes políticos em Espinosa. O objetivo é o de analisar, no interior deste tema mais amplo, o da distribuição da potência entre os membros do corpo político como critério comum aos regimes. A questão dos regimes, em Espinosa, não passa apenas pela definição do número dos que governam. Um rol de conceitos - homem como potência, afetos, multidão, imperium, entre outros - deve ser levado em conta para tratar da clássica questão.

Resenha do livro "O mais natural dos regimes. Espinosa e a Democracia", de Diogo Pires Aurélio.

Livro em homenagem ao filósofo brasileiro Luiz Henrique Lopes, um dos maiores expoentes da filosofia analítica. Neste livro grandes nomes da filosofia brasileira discorrem sobre a filosofia analítica e vários assuntos da filosofia contemporânea.

Na tarefa de reconstruir compreensivamente o saber trazido pela psicanálise de Jacques Lacan, é utilizado o framework da postura transcendental herdeira de Kant. O termo “amálgama” permite compreender a incorporação, no gesto lacaniano, de saberes oriundos de distintas áreas do conhecimento humano e que, submetidos ao cadinho da torção lacaniana, possibilitam a Lacan a produção de uma ontogênese originalíssima sobre o humano-ser. A metamorfose lacaniana é uma operação que implica numa revisão dos conceitos em seu campo originário e uma Aufhebung (...) da psicanálise freudiana. (shrink)

O tema da alteridade é caro a ambosos autores. Contudo, a tematização da especificidadedesta alteridade é dissimétrica em cadaautor. Em Levinas, o privilégio é concedido àpresença originária do outro, enquanto produtorde um trauma desorganizante original para aprodução do eu e da própria relação com o outro.Por seu lado, para a psicanálise de Lacan, arelação mais originária do sujeito é com o símbolo,na medida em que o autor reivindica a anterioridadeoriginária da ordem simbólica que operacomo conditio sine qua non da assunção (...) dasubjetividade. (shrink)

Tradicionalmente, filosofia e psicanálisemuito pouco dialogam. O trabalho procuraampliar esta área de contato através de umconfronto entre a fenomenologia hermenêutica deHeidegger, em relação à análise do Dasein; ahermenêutica gadameriana, e o seu apelo àlinguagem como ambiente do humano e, de outrolado, a psicanálise de Lacan. Não se trata depsicanalisara filosofia mas, sim, tentar aprofundaro debate entre estas duas áreas, para possibilitara determinação daquilo que é especifico a cadacampo.

DISSERTAÇÃO DE MESTRADO ITABORAHY, Luiz Carlos. O horizonte da juventude na educação e pastoral populares : história, diálogo e configuração de Medellín a Puebla (1968-1979). 2012. 207 folhas. Dissertação (Mestrado) – Pontifícia Universidade Católica de Minas Gerais, Programa de Pós-graduação em Ciências da Religião, Belo Horizonte.

Much has been said about intuitionistic and classical logical systems since Gentzen’s seminal work. Recently, Prawitz and others have been discussing how to put together Gentzen’s systems for classical and intuitionistic logic in a single unified system. We call Prawitz’ proposal the Ecumenical System, following the terminology introduced by Pereira and Rodriguez. In this work we present an Ecumenical sequent calculus, as opposed to the original natural deduction version, and state some proof theoretical properties of the system. We reason that (...) sequent calculi are more amenable to extensive investigation using the tools of proof theory, such as cut-elimination and rule invertibility, hence allowing a full analysis of the notion of Ecumenical entailment. We then present some extensions of the Ecumenical sequent system and show that interesting systems arise when restricting such calculi to specific fragments. This approach of a unified system enabling both classical and intuitionistic features sheds some light not only on the logics themselves, but also on their semantical interpretations as well as on the proof theoretical properties that can arise from combining logical systems. (shrink)

This pa per de vel ops within the con text of an externalistic ap prox i ma tion to epis te mol ogy. It is an at tempt to re flect in a uni tary man ner on cat e go ries such as com mon sense, phi los o phy, ide ol ogy, prog ress, good judg ment, as well as a re flec tion on sci ence and it pro..

Recent works about ecumenical systems, where connectives from classical and intuitionistic logics can co-exist in peace, warmed the discussion on proof systems for combining logics. This discussion has been extended to alethic modalities using Simpson’s meta-logical characterization: necessity is independent of the viewer, while possibility can be either intuitionistic or classical. In this work, we propose a pure, label free calculus for ecumenical modalities, nEK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {nEK}$$\end{document}, where exactly one logical operator figures (...) in introduction rules and every basic object of the calculus can be read as a formula in the language of the ecumenical modal logic EK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {EK}$$\end{document}. We prove that nEK\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {nEK}$$\end{document} is sound and complete w.r.t. the ecumenical birelational semantics and discuss fragments and extensions. (shrink)

Levando–se em conta os leitores do século XXI, ao debruçar-se sobre a participação da Igreja católica brasileira na preparação do Concílio Vaticano II, o presente estudo parte de três perguntas: a) o quê interessa saber sobre a participação brasileira? b) É este um tema relevante? c) Alguns brasileiros participação significativamente na fase preparatória? Para responder apropriadamente a essas questões os autores propõem um conceito diferente de “participação” na preparação do Vaticano II por parte do episcopado brasileiro. O artigo não foca (...) apenas a presença deste ou daquele bispo ou perito nas comissões do Concílio, mas propõe a idéia de que o mais importante foi a auto-preparação, que durante certo tempo permaneceu “latente” e posteriormente se organizou através de um Concílio com um episcopado jovem, com uma média de idade em torno de 54 anos e 11 de experiência como bispo. Por isso, conscientes dos problemas pastorais que a realidade do subdesenvolvimento punha à Igreja, e com uma incipiente experiência de participação colegial, desenvolvida na construção do Plano de Emergência, este episcopado não só vivenciou em profundidade o “evento” conciliar, como foi o primeiro a sair dele organizado para colocá-lo em prática. Daqui a relevância desta reconstrução. Palavras-chave: Helder Câmara. Plano de Emergência. Colegialidade. Vaticano II. Igreja Católica no BrasilThis article aims to show the contribution of the Brazilian Catholic Church in the preparation of the Second Vatican Council. To fulfill such purpose the present study focus its research in three basic questions: a) what is important to know about the Brazilian participation? b) Is this a relevant topic? C) Some Brazilians participate significantly in the preparatory phase? To respond appropriately to these issues the authors propose a different concept of "participation" in the preparation of Vatican II by the Brazilian episcopate. The article focuses not only the presence of this or that bishop or the expert commissions of the Council, but proposes the idea that the most important was the self-preparation, which for a time remained "latent" and later was organized by a council with a young bishop, with an average age around 11 and 54 years of experience as a bishop. Therefore, aware of the problems that the pastoral reality of underdevelopment put the Church, and with an incipient experience of participating high school, developed in the construction of the Emergency Plan, the bishops not only experienced in depth the "event" to reconcile, as was the first it held out to put it into practice. Key words: Helder Câmara. Emergency Plan. Collegiality. Vatican II. Catholic Church in Brazil. (shrink)

Atribuindo à ironia a possibilidade de exercício e desenvolvimento da liberdade subjetiva, Kierkegaard sublinha a negatividade absoluta como característica do referido processo em Sócrates, convergindo para assinalar o absoluto e irredutível valor do indivíduo em um movimento que implica o início absoluto da vida pessoal entre criar-se e deixar-se criar. Dessa forma, contrapondo-se à dissolução da existência humana nas fronteiras da pura conceituação intelectual, Kierkegaard assinala a tensão inaplacável entre existência e transcendência em um movimento que implica a interioridade e (...) guarda correspondência com a necessidade de tornar-se subjetivo, tendo em vista a perspectiva que defende que a verdade consiste na transformação do sujeito em si mesmo entre a vertigem da liberdade e o paradoxo da fé em um processo que encerra angústia e desespero e converge para a transição do ético ao religioso. (shrink)